A Specification Logic for Dynamic Composition of Services
نویسندگان
چکیده
In this paper we focus on a composition model for services, which are composed from pre-programmed service components represented as Java classes. A common formal basis for representing the semantics of dynamic composition of services from service components is presented. We propose a logic and a specification language that enable us to reason about and deploy service components automatically. The proposed composition model uses a logical proof as witness for the correct deployment of service components in the context of their use. The composition model has been implemented in Java as an environment for dynamic composition of services. We illustrate the proposed composition method on an example of composition of a service.
منابع مشابه
A model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملESC: A Tool for Automatic Composition of e-Services Based on Logics of Programs
In this paper we discuss an effective technique for automatic service composition and we present the prototype software that implements it. In particular, we characterize the behavior of a service in terms of a finite state machine. In this setting we discuss a technique based on satisfiability in a variant of Propositional Dynamic Logic that solves the automatic composition problem. Specifical...
متن کاملDynamic Service Composition
In this paper we focus on a composition model of services, which are composed from pre-programmed components represented as Java classes. The main part of the paper is devoted to the examples of services synthesized automatically on the basis of their logical specifications. We use a simple logic and a specification language that enable us to reason about and deploy components automatically. Th...
متن کاملDescription Logics for e-Service Composition
e-Services represent a new model in the utilization of the network, in which self-contained, modular applications can be described, published, located and dynamically invoked, in a programming language independent way. Research on e-Services spans over many interesting issues, including description, discovery, composition. Our research focuses on automatic composition synthesis. More specifical...
متن کاملA Parametrized Propositional Dynamic Logic with Application to Service Synthesis
We extend propositional dynamic logic (PDL) with variables ranging over an infinite domain. This extension, called parametrized PDL or PPDL for short, is interpreted over parametrized transitions systems whose edges are labeled with letters or variables and whose states are labeled with non-parametrized propositions. We show that the satisfiability problem for PPDL is decidable. We apply these ...
متن کامل